https://dasbestelexikon.de/en/wiki/Method_of_analytic_tableaux